Buy Used and New Anastasia Mavridou Books

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229)

by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou

ISBN 13: 9783030557539

Format: Paperback (463 pages)
Publisher: Springer
Published: 09 Aug 2020

Save for later

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings: 12863 (Lecture Notes in Computer Science, 12863)

by Alberto Lluch Lafuente,Anastasia Mavridou

ISBN 13: 9783030852474

Format: Paperback (261 pages)
Publisher: Springer
Published: 10 Aug 2021

Save for later